Conducting Verification and Validation of Multi- Agent Systems
نویسندگان
چکیده
منابع مشابه
Conducting Verification And Validation Of Multi-Agent Systems
Verification and Validation (V&V) is a series of activities ,technical and managerial ,which performed by system tester not the system developer in order to improve the system quality ,system reliability and assure that product satisfies the users operational needs. Verification is the assurance that the products of a particular development phase are consistent with the requirements of that pha...
متن کاملA Sociological Framework for Multi-agent Systems Validation and Verification
Social and intentional behaviours appear as two main components of the agent paradigm. Methods of conventional software engineering do not seem to be appropriate to gain a full knowledge of these behavioural aspects, as they are not traditional software components. Their study involves new concepts and techniques, belonging to social sciences, to be integrated into software development. In this...
متن کاملSpecification and Verification of Multi-Agent Systems
When writing can change your life, when writing can enrich you by offering much money, why don't you try it? Are you still very confused of where getting the ideas? Do you still have no idea with what you are going to write? Now, you will need reading. A good writer is a good reader at once. You can define how you write depending on what books to read. This specification and verification of mul...
متن کاملUsing ILP-Systems for Verification and Validation of Multi-agent Systems
Most applications of inductive logic programming focus on prediction or the discovery of new knowledge. We describe a less common application of ILP namely veriication and validation of knowledge based systems and multi-agent systems. Using inductive logic programming, partial declarative speciications of the software can be induced from the behavior of the software. These rules can be readily ...
متن کاملTemporal Verification of Probabilistic Multi-Agent Systems
Probabilistic systems of interacting intelligent agents are considered. They have two sources of uncertainty: uncertainty of communication channels and uncertainty of actions. We show how such systems can be polynomially transformed to finite state Markov chains. This allows to transfer known results on verifying temporal properties of the finite state Markov chains to the probabilistic multi-a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Software Engineering & Applications
سال: 2012
ISSN: 0976-2221
DOI: 10.5121/ijsea.2012.3510